Tuples of Disjoint $\mathsf{NP}$ -Sets
نویسندگان
چکیده
منابع مشابه
Tuples of Disjoint NP-Sets
Disjoint NP-pairs are a well studied complexity-theoretic concept with important applications in cryptography and propositional proof complexity. In this paper we introduce a natural generalization of the notion of disjoint NP-pairs to disjoint k-tuples of NP-sets for k ≥ 2. We define subclasses of the class of all disjoint k-tuples of NP-sets. These subclasses are associated with a proposition...
متن کاملOn Disjoint Sets of Differences
must hold, where A(x) denotes the number of elements of A up to x. It is quite natural to ask how much the situation changes if we cut A into two parts, A' and A ", and demand only that no a i' a, should coincide with any a i ' -a,' . This question was proposed by Erdős and Graham in [2], and it seemed likely that no considerable increase can be achieved in the density of A . We shall show, how...
متن کاملEecient Handling of Large Sets of Tuples with Sharing Trees Eecient Handling of Large Sets of Tuples with Sharing Trees
Computing with sets of tuples (n-ary relations) is often required in programming. This paper presents a new data structure dedicated to the manipulation of large sets of tuples, dubbed sharing tree. The main idea is to share in memory some sub-tuples of the set. We give algorithms for common set operations, that have theoretical complexities proportional to the sizes of the sharing trees given ...
متن کاملRemarks about disjoint dominating sets
We solve a number of problems posed by Hedetniemi, Hedetniemi, Laskar, Markus, and Slater concerning pairs of disjoint sets in graphs which are dominating or independent and dominating.
متن کاملTopological aspects of dynamics of pairs, tuples and sets
Topological theory of dynamical systems concentrates on study of qualitative aspects of dynamics of continuous transformations by various topological tools (many of them are borrowed from other fields such as algebra or measure theory). The aim of this chapter is to present, by no means complete, an exposition on local aspects of dynamics of pairs, or more generally tuples and sets. It is motiv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory of Computing Systems
سال: 2007
ISSN: 1432-4350,1433-0490
DOI: 10.1007/s00224-007-9023-8